$\neg$$A$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$A$ $\Rightarrow$ False